<?xml version = '1.0' encoding = 'ISO-8859-1' ?>
<asm name="0">
	<cp>
		<constant value="verifyPN4T"/>
		<constant value="main"/>
		<constant value="A"/>
		<constant value="Prop: Toutes les places sont definis avec des noms differents:  "/>
		<constant value="Place"/>
		<constant value="PetriNetForText"/>
		<constant value="J.allInstances():J"/>
		<constant value="1"/>
		<constant value="2"/>
		<constant value="J.&lt;&gt;(J):J"/>
		<constant value="name"/>
		<constant value="J.implies(J):J"/>
		<constant value="B.and(B):B"/>
		<constant value="29"/>
		<constant value="NOK"/>
		<constant value="30"/>
		<constant value="OK"/>
		<constant value="J.concat(J):J"/>
		<constant value="&#10;"/>
		<constant value="Prop: Toutes les places citees dans les arcs sont definis: "/>
		<constant value="Arc"/>
		<constant value="Sequence"/>
		<constant value="#native"/>
		<constant value="place"/>
		<constant value="J.=(J):J"/>
		<constant value="B.not():B"/>
		<constant value="60"/>
		<constant value="CJ.including(J):CJ"/>
		<constant value="J.size():J"/>
		<constant value="69"/>
		<constant value="70"/>
		<constant value="Prop: Les valeurs des poids doivent etre coherentes: "/>
		<constant value="nbToken"/>
		<constant value="J.&gt;=(J):J"/>
		<constant value="91"/>
		<constant value="92"/>
		<constant value="Prop: Les valeurs des marquages doivent etre coherentes: "/>
		<constant value="0"/>
		<constant value="113"/>
		<constant value="114"/>
		<constant value="Prop: Tmax doit etre superieur ou egal a Tmin, et les deux &gt;= 0: "/>
		<constant value="Transition"/>
		<constant value="tmin"/>
		<constant value="tmax"/>
		<constant value="J.&lt;=(J):J"/>
		<constant value="J.and(J):J"/>
		<constant value="141"/>
		<constant value="142"/>
		<constant value="c:\PN4T.verif"/>
		<constant value="J.writeTo(J):J"/>
		<constant value="3:2-3:68"/>
		<constant value="5:6-5:27"/>
		<constant value="5:6-5:42"/>
		<constant value="5:57-5:59"/>
		<constant value="5:61-5:63"/>
		<constant value="5:57-5:63"/>
		<constant value="5:72-5:74"/>
		<constant value="5:72-5:79"/>
		<constant value="5:81-5:83"/>
		<constant value="5:81-5:88"/>
		<constant value="5:72-5:88"/>
		<constant value="5:57-5:88"/>
		<constant value="5:6-5:89"/>
		<constant value="7:8-7:13"/>
		<constant value="6:8-6:12"/>
		<constant value="5:3-8:8"/>
		<constant value="3:2-9:3"/>
		<constant value="10:10-10:14"/>
		<constant value="3:2-10:15"/>
		<constant value="11:10-11:71"/>
		<constant value="3:2-11:72"/>
		<constant value="13:6-13:25"/>
		<constant value="13:6-13:40"/>
		<constant value="13:51-13:72"/>
		<constant value="13:51-13:87"/>
		<constant value="13:98-13:99"/>
		<constant value="13:98-13:104"/>
		<constant value="13:105-13:106"/>
		<constant value="13:105-13:112"/>
		<constant value="13:98-13:112"/>
		<constant value="13:51-13:113"/>
		<constant value="13:51-13:121"/>
		<constant value="13:122-13:123"/>
		<constant value="13:51-13:123"/>
		<constant value="13:6-13:124"/>
		<constant value="15:8-15:13"/>
		<constant value="14:8-14:12"/>
		<constant value="13:3-16:8"/>
		<constant value="3:2-17:3"/>
		<constant value="18:10-18:14"/>
		<constant value="3:2-18:15"/>
		<constant value="19:10-19:65"/>
		<constant value="3:2-19:66"/>
		<constant value="21:6-21:25"/>
		<constant value="21:6-21:40"/>
		<constant value="21:52-21:54"/>
		<constant value="21:52-21:62"/>
		<constant value="21:64-21:65"/>
		<constant value="21:52-21:65"/>
		<constant value="21:6-21:66"/>
		<constant value="23:8-23:13"/>
		<constant value="22:8-22:12"/>
		<constant value="21:3-24:8"/>
		<constant value="3:2-25:3"/>
		<constant value="26:10-26:14"/>
		<constant value="3:2-26:15"/>
		<constant value="27:10-27:69"/>
		<constant value="3:2-27:70"/>
		<constant value="29:6-29:27"/>
		<constant value="29:6-29:42"/>
		<constant value="29:54-29:56"/>
		<constant value="29:54-29:64"/>
		<constant value="29:66-29:67"/>
		<constant value="29:54-29:67"/>
		<constant value="29:6-29:68"/>
		<constant value="31:8-31:13"/>
		<constant value="30:8-30:12"/>
		<constant value="29:3-32:8"/>
		<constant value="3:2-33:3"/>
		<constant value="34:10-34:14"/>
		<constant value="3:2-34:15"/>
		<constant value="35:10-35:77"/>
		<constant value="3:2-35:78"/>
		<constant value="37:6-37:32"/>
		<constant value="37:6-37:47"/>
		<constant value="37:59-37:61"/>
		<constant value="37:59-37:66"/>
		<constant value="37:68-37:70"/>
		<constant value="37:68-37:75"/>
		<constant value="37:59-37:75"/>
		<constant value="37:80-37:82"/>
		<constant value="37:80-37:87"/>
		<constant value="37:89-37:90"/>
		<constant value="37:80-37:90"/>
		<constant value="37:59-37:90"/>
		<constant value="37:6-37:91"/>
		<constant value="39:8-39:13"/>
		<constant value="38:8-38:12"/>
		<constant value="37:3-40:8"/>
		<constant value="3:2-41:3"/>
		<constant value="42:10-42:14"/>
		<constant value="3:2-42:15"/>
		<constant value="49:12-49:28"/>
		<constant value="3:2-49:29"/>
		<constant value="p1"/>
		<constant value="p2"/>
		<constant value="p"/>
		<constant value="a"/>
		<constant value="self"/>
	</cp>
	<operation name="1">
		<context type="2"/>
		<parameters>
		</parameters>
		<code>
			<push arg="3"/>
			<pusht/>
			<push arg="4"/>
			<push arg="5"/>
			<findme/>
			<call arg="6"/>
			<dup/>
			<iterate/>
			<store arg="7"/>
			<dup_x1/>
			<iterate/>
			<store arg="8"/>
			<load arg="7"/>
			<load arg="8"/>
			<call arg="9"/>
			<load arg="7"/>
			<get arg="10"/>
			<load arg="8"/>
			<get arg="10"/>
			<call arg="9"/>
			<call arg="11"/>
			<call arg="12"/>
			<enditerate/>
			<swap/>
			<enditerate/>
			<pop/>
			<if arg="13"/>
			<push arg="14"/>
			<goto arg="15"/>
			<push arg="16"/>
			<call arg="17"/>
			<push arg="18"/>
			<call arg="17"/>
			<push arg="19"/>
			<call arg="17"/>
			<pusht/>
			<push arg="20"/>
			<push arg="5"/>
			<findme/>
			<call arg="6"/>
			<iterate/>
			<store arg="7"/>
			<push arg="21"/>
			<push arg="22"/>
			<new/>
			<push arg="4"/>
			<push arg="5"/>
			<findme/>
			<call arg="6"/>
			<iterate/>
			<store arg="8"/>
			<load arg="8"/>
			<get arg="10"/>
			<load arg="7"/>
			<get arg="23"/>
			<call arg="24"/>
			<call arg="25"/>
			<if arg="26"/>
			<load arg="8"/>
			<call arg="27"/>
			<enditerate/>
			<call arg="28"/>
			<pushi arg="7"/>
			<call arg="24"/>
			<call arg="12"/>
			<enditerate/>
			<if arg="29"/>
			<push arg="14"/>
			<goto arg="30"/>
			<push arg="16"/>
			<call arg="17"/>
			<push arg="18"/>
			<call arg="17"/>
			<push arg="31"/>
			<call arg="17"/>
			<pusht/>
			<push arg="20"/>
			<push arg="5"/>
			<findme/>
			<call arg="6"/>
			<iterate/>
			<store arg="7"/>
			<load arg="7"/>
			<get arg="32"/>
			<pushi arg="7"/>
			<call arg="33"/>
			<call arg="12"/>
			<enditerate/>
			<if arg="34"/>
			<push arg="14"/>
			<goto arg="35"/>
			<push arg="16"/>
			<call arg="17"/>
			<push arg="18"/>
			<call arg="17"/>
			<push arg="36"/>
			<call arg="17"/>
			<pusht/>
			<push arg="4"/>
			<push arg="5"/>
			<findme/>
			<call arg="6"/>
			<iterate/>
			<store arg="7"/>
			<load arg="7"/>
			<get arg="32"/>
			<pushi arg="37"/>
			<call arg="33"/>
			<call arg="12"/>
			<enditerate/>
			<if arg="38"/>
			<push arg="14"/>
			<goto arg="39"/>
			<push arg="16"/>
			<call arg="17"/>
			<push arg="18"/>
			<call arg="17"/>
			<push arg="40"/>
			<call arg="17"/>
			<pusht/>
			<push arg="41"/>
			<push arg="5"/>
			<findme/>
			<call arg="6"/>
			<iterate/>
			<store arg="7"/>
			<load arg="7"/>
			<get arg="42"/>
			<load arg="7"/>
			<get arg="43"/>
			<call arg="44"/>
			<load arg="7"/>
			<get arg="42"/>
			<pushi arg="37"/>
			<call arg="33"/>
			<call arg="45"/>
			<call arg="12"/>
			<enditerate/>
			<if arg="46"/>
			<push arg="14"/>
			<goto arg="47"/>
			<push arg="16"/>
			<call arg="17"/>
			<push arg="18"/>
			<call arg="17"/>
			<push arg="48"/>
			<call arg="49"/>
		</code>
		<linenumbertable>
			<lne id="50" begin="0" end="0"/>
			<lne id="51" begin="2" end="4"/>
			<lne id="52" begin="2" end="5"/>
			<lne id="53" begin="12" end="12"/>
			<lne id="54" begin="13" end="13"/>
			<lne id="55" begin="12" end="14"/>
			<lne id="56" begin="15" end="15"/>
			<lne id="57" begin="15" end="16"/>
			<lne id="58" begin="17" end="17"/>
			<lne id="59" begin="17" end="18"/>
			<lne id="60" begin="15" end="19"/>
			<lne id="61" begin="12" end="20"/>
			<lne id="62" begin="1" end="25"/>
			<lne id="63" begin="27" end="27"/>
			<lne id="64" begin="29" end="29"/>
			<lne id="65" begin="1" end="29"/>
			<lne id="66" begin="0" end="30"/>
			<lne id="67" begin="31" end="31"/>
			<lne id="68" begin="0" end="32"/>
			<lne id="69" begin="33" end="33"/>
			<lne id="70" begin="0" end="34"/>
			<lne id="71" begin="36" end="38"/>
			<lne id="72" begin="36" end="39"/>
			<lne id="73" begin="45" end="47"/>
			<lne id="74" begin="45" end="48"/>
			<lne id="75" begin="51" end="51"/>
			<lne id="76" begin="51" end="52"/>
			<lne id="77" begin="53" end="53"/>
			<lne id="78" begin="53" end="54"/>
			<lne id="79" begin="51" end="55"/>
			<lne id="80" begin="42" end="60"/>
			<lne id="81" begin="42" end="61"/>
			<lne id="82" begin="62" end="62"/>
			<lne id="83" begin="42" end="63"/>
			<lne id="84" begin="35" end="65"/>
			<lne id="85" begin="67" end="67"/>
			<lne id="86" begin="69" end="69"/>
			<lne id="87" begin="35" end="69"/>
			<lne id="88" begin="0" end="70"/>
			<lne id="89" begin="71" end="71"/>
			<lne id="90" begin="0" end="72"/>
			<lne id="91" begin="73" end="73"/>
			<lne id="92" begin="0" end="74"/>
			<lne id="93" begin="76" end="78"/>
			<lne id="94" begin="76" end="79"/>
			<lne id="95" begin="82" end="82"/>
			<lne id="96" begin="82" end="83"/>
			<lne id="97" begin="84" end="84"/>
			<lne id="98" begin="82" end="85"/>
			<lne id="99" begin="75" end="87"/>
			<lne id="100" begin="89" end="89"/>
			<lne id="101" begin="91" end="91"/>
			<lne id="102" begin="75" end="91"/>
			<lne id="103" begin="0" end="92"/>
			<lne id="104" begin="93" end="93"/>
			<lne id="105" begin="0" end="94"/>
			<lne id="106" begin="95" end="95"/>
			<lne id="107" begin="0" end="96"/>
			<lne id="108" begin="98" end="100"/>
			<lne id="109" begin="98" end="101"/>
			<lne id="110" begin="104" end="104"/>
			<lne id="111" begin="104" end="105"/>
			<lne id="112" begin="106" end="106"/>
			<lne id="113" begin="104" end="107"/>
			<lne id="114" begin="97" end="109"/>
			<lne id="115" begin="111" end="111"/>
			<lne id="116" begin="113" end="113"/>
			<lne id="117" begin="97" end="113"/>
			<lne id="118" begin="0" end="114"/>
			<lne id="119" begin="115" end="115"/>
			<lne id="120" begin="0" end="116"/>
			<lne id="121" begin="117" end="117"/>
			<lne id="122" begin="0" end="118"/>
			<lne id="123" begin="120" end="122"/>
			<lne id="124" begin="120" end="123"/>
			<lne id="125" begin="126" end="126"/>
			<lne id="126" begin="126" end="127"/>
			<lne id="127" begin="128" end="128"/>
			<lne id="128" begin="128" end="129"/>
			<lne id="129" begin="126" end="130"/>
			<lne id="130" begin="131" end="131"/>
			<lne id="131" begin="131" end="132"/>
			<lne id="132" begin="133" end="133"/>
			<lne id="133" begin="131" end="134"/>
			<lne id="134" begin="126" end="135"/>
			<lne id="135" begin="119" end="137"/>
			<lne id="136" begin="139" end="139"/>
			<lne id="137" begin="141" end="141"/>
			<lne id="138" begin="119" end="141"/>
			<lne id="139" begin="0" end="142"/>
			<lne id="140" begin="143" end="143"/>
			<lne id="141" begin="0" end="144"/>
			<lne id="142" begin="145" end="145"/>
			<lne id="143" begin="0" end="146"/>
		</linenumbertable>
		<localvariabletable>
			<lve slot="1" name="144" begin="8" end="21"/>
			<lve slot="2" name="145" begin="11" end="23"/>
			<lve slot="2" name="146" begin="50" end="59"/>
			<lve slot="1" name="147" begin="41" end="64"/>
			<lve slot="1" name="144" begin="81" end="86"/>
			<lve slot="1" name="144" begin="103" end="108"/>
			<lve slot="1" name="144" begin="125" end="136"/>
			<lve slot="0" name="148" begin="0" end="146"/>
		</localvariabletable>
	</operation>
</asm>
